<?php

class PermissionDeniedException extends Exception {

}

?>
